Tradeoffs of Highly-Expressive Types
jnkr.tech·1h·
Discuss: Hacker News
🎯Gradual Typing
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Building an AI-Powered Domain Name Generator: Technical Deep Dive
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Equivalence via Surjections
golem.ph.utexas.edu·22h
🔀Category Theory
The use of Claude Code in SciML repos
discourse.julialang.org·21h·
Discuss: Lobsters
📏Code Metrics
Answering some questions about Baba Yaga
eli.li·3h·
Discuss: Hacker News
🎯Dependent Types
A type system for RCL (2024)
ruudvanasseldonk.com·2h·
Discuss: Lobsters, Hacker News
💧Liquid Types
Ensemble Learning
en.wikipedia.org·4h·
Discuss: Hacker News
🧠Machine Learning
AI researcher Andrej Karpathy says he's "bearish on reinforcement learning" for LLM training
the-decoder.com·7h
🧠Intelligence Compression
Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set
arxiv.org·1d
💎Information Crystallography
Kids as Philosophers of AI
turingpost.com·4h·
Discuss: Hacker News
🔲Cellular Automata
Dependent types I › Universes, or types of types
jonmsterling.com·3d·
Discuss: Hacker News
🔤Type Theory
Chicken Scheme internals: the garbage collector
more-magic.net·1d·
Discuss: Hacker News
🧠Separation Logic
Understanding Automatic Differentiation
swagatmitrab.vercel.app·1d·
Discuss: Hacker News
📐Error Bounds
Understanding Tool-Integrated Reasoning
arxiv.org·3d
🔗Constraint Handling
Elephants for breakfast
bitfieldconsulting.com·1d
🦀Rust Macros
Token Alignment Protocol, Zero Drift for AI Agents
symbiquity.ai·1d·
Discuss: Hacker News
⚡Proof Automation
Marginal Effect of Hyperparameter Tuning with XGBoost
towardsdatascience.com·1d
🧮Kolmogorov Bounds
Macroexpand-Deep 2025 – the first Clojure AI conference
scicloj.github.io·21h·
Discuss: Hacker News
🦀Rust Macros
Making Operations Research More Accessible: Insights from the Rise of ML
pubsonline.informs.org·2d·
Discuss: Hacker News
🧠Machine Learning